/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.view.input;

/**
 *
 * @author simon
 */
public class Tag {

    public final static int
            NUSMV=1,
            FLAGS=2,
            WC=3,
            I_ALPHABET=4,
            O_ALPHABET=5,
            TRANS_P1=6,
            TRANS_P2=7;

}
